Added kernel config for Leo. Started adding necessary changes to kernel Makefile.