[coreboot] [poll] device_t