Update BoardConfig.mk

Update to Dual kernel config