de ahí saqué la información y ahí vienen varias formas de compilar el kernel dependiendo de tus necesidades.