[coreboot] Re: [solved] Re: Booting Linux kernel with nosmp required on Lenovo T60 (ATI/AMD)