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