Update BoardConfig.mk

better way to obtain kernel version, compatible with 3.1 kernel versions