Cleanup boardconfig.mk