My quick reaction is that the use of /boot for the 2nd-stage bootloader is really longstanding, and that mounting some boot partition (EFI or not) on /boot is much more recent. I have a boot partition mounted on /grub, on a xen domU that uses pvgrub (because that's how the dom0 is). I wouldn't mind renaming that to align if there were a convention. That machine has a /boot which isn't used, but is the standard image. That leads me to want to have a new name for the boot partition, and leave /boot alone. And, mounting the EFI partition is not critical; it's great to have it in a standard place because upgrade tools have to mess with it, etc., but I think the system will boot just fine even if it isn't mounted. I think the hard part is coming up with a sane name for where to mount this. After a few minutes, my suggestion is /bootfs which conveys that not only is this for booting, but that it's a mount point for a filesystem, not a boot program. I see that as causing less total torquing around over all users.
Attachment:
signature.asc
Description: PGP signature