Cuando acabemos, compilaremos el kernel de la siguiente forma.