Update BoardConfig.mk to use updated kernel