[coreboot] Intro and Support for flashing Coreboot to X230 (Qubes OS)