marvel: cleanup BoardConfig.mk