ARM: highbank: update config options