As by title...I am not into UEFI but as far as I understood the UEFI executable as based on EFI bytecode interpreted and executed by UEFI bios...why do you have to compile them for your system ?
Or at least could provide at least X64 architecture executable for your tool ShellDynListProtocols which seems to be the only one which enumerates all the UEFI extensions provided in an UEFI bios.