Fixed BoardConfig.mk to update with new kernel name ;)