ARM: highbank: Add boot counter support