Seguimos con problemas al compilar el kernel (top-level Makefile)