Added genconfig recipes to kernel Makefile
Added build rules for kernel and a dummy stub for mboot.s