ARM: picoxcell: remove dependency on mach/* headers