hopefully fix efi handling in buildbot; send e-mail if buildbot crashes