fix cmake generation
add efi.exe so that's available to a buildbot
buildbot: the rigth way to disable efi