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