ARM: mvebu: switch the Armada XP DB to use internal registers at 0xf1000000