where can i get more information regarding the entry of boot parameters at the boot prompt and where do i get the kernel image from