Makefile: clean should delete *.efi