Update BoardConfig.mk

Check AndreiLux's GitHub for kernel source