[coreboot] Qubes OS R4.0 & OpenBMC on Corebooted KGPE-D16 questions.