Update BoardConfig.mk

krait optimization...