As far as I can find out, binaries to be launched by UEFI indeed are on PE format, just like Windows binaries.