Makefile to build kernel on raspberrypi. Without test.