There is no reason for this header file to be globally visible, so
let's just move it into the mach directory.
Signed-off-by: NArnd Bergmann <arnd@arndb.de>
Acked-by: NViresh Kumar <viresh.kumar@linaro.org>