[coreboot] First time using coreboot+edk2, I didn't get to see the beginning.