[coreboot] Coreboot on a thinkpad x300