Is there a way I can specify exactly where the kernel is during the boot up, rather than have it search and, possibly, boot off some other kernel?