Out of curiosity I looked into my /boot partition and found two .efi files. One is /boot/efi/gummiboot/gummibootx64.efi and another is /boot/efi/boot/bootx64.efi. I remember I've created /boot/efi/boot/bootx64.efi during install by copying kernel image file to it and supposedly it was for efibootmng. I think gummiboot has created its own gummibootx64.efi. Is that safe to delete */boot/bootx64.efi? Thanks
-- German <gentger...@gmail.com>