The kernel is now in /boot/kernel/kernel