Fedora installs the kernel also into (/usr)/lib/modules/$kver. The actual bootloader installation scripts are responsible to get the kernel into the boot partition from there. That nicely fits the usrmerge idea to have all OS in /usr. I think we need to sit down in a broader group to design how we want to handle this in the longer run.