[coreboot] [RFT] Linux fails to detect devices on AGESA board with `nosmp`