[coreboot] Coreboot X230 Howto and Questions regarding GRUB and Qubes