Constant kernel_loader::elf::NT_PPC_VSX

pub const NT_PPC_VSX: u32 = 258;