[PATCH v3 00/19] x86: efi: Fixes and improvements for coreboot