Mark the arm64 machdep.h as kernel only
None of this is useful for userspace.
Sponsored by: Innovate UK