arm: mach-ux500: add needed header files