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