[PATCH v7 0/3] x86: efi: Fixes and improvements for coreboot