Constant kernel_loader::elf::NT_ARM_VFP

pub const NT_ARM_VFP: u32 = 1024;