x86: efi_stub_32,64 - add missing ENDPROCs