BoardConfig.mk: Changing the kernel related variables to comply with the 3.0 sources