BoardConfig.mk point to proper kernel directory

Change-Id: I4b72a0dd87677aedf6d961a128f48ec2ceacb36c
Merge "BoardConfig.mk point to proper kernel directory" into kk