These constants will change over time, and userspace has no
business knowing about them. Hide them behind __KERNEL__.
Signed-off-by: NMarc Zyngier <maz@kernel.org>