unsigned long northbridge_write_acpi_tables(device_t device, unsigned long start);