void mainboard_inject_dsdt(void);