Re: [coreboot] Missing devices in v3 serengeti