Replace entries in BoardConfig.mk