9662d32c73
(This is more useful for 4.x where boot blocks can still load kernels, modulo the PR kern/17422.)
(This is more useful for 4.x where boot blocks can still load kernels, modulo the PR kern/17422.)