Makefile and Kbuild changes to make it build in our device tree