Constant kernel_loader::elf::NT_PPC_PKEY

pub const NT_PPC_PKEY: u32 = 272;