void mainboard_inject_dsdt(device_t device);