One also needs to install top-level Makefiles to build a kernel.
Found by: Paco Cubi <francisco.cubi@gmail.com>