coreboot_identify
DEVMETHOD(device_identify, coreboot_identify),
static void coreboot_identify(driver_t *, device_t);