'make clean' fixes

– unmount efi_mnt if still mounted
– 'boot_mnt' is not used by current code