Tras lo cual, en arquitectura PC encontraremos el bianrio del nuevo kernel en /usr/src/linux-verion/arch/i386/boot/bzImage.