ARM: highbank: use config_distro_defaults.h