Update BoardConfigCommon.mk

doesn't device boardconfig tell where the kernel is already