My machine froze during a dnf update in the middle of a install of kernel 4.8.4-200. I recovered all regular package issues after a force shutdown but the kernel has not been installed in /boot. How can I recover from this state? I've tried to dnf remove the kernel and install it again, which succeeds, but nothing is copied to /boot so it is impossible to pick the new kernel after boot. Yes, I've checked that /boot has plenty of space and the setup for the two previous kernels is there intact.