[OS-BUILD PATCH 0/3] efi: x86: Set the NX-compatibility flag in the PE header