[coreboot] Missing devices in v3 serengeti