BoardConfig.mk: Fix Derp that points to the wrong dir for kernel compilng

Change-Id: Ibb9b4e12832dbeaf58d9fd950673c4db020df8de