ARM: spear3xx: Use correct pl080 header file