[coreboot] Installing Core Boot on a Lenovo X230 with a script.