[PATCH] selinux: endian notations