Some changes to BoardConfig.mk