buildbot: efi doesn't seem to work anymore, so disable diff so that buildbot doesn't crash
fix cmake generation
add efi.exe so that's available to a buildbot
buildbot: the rigth way to disable efi