Constant object::elf::OEX_FPU_MAX

pub const OEX_FPU_MAX: u32 = 0x1f00;

FPE's which MAY be enabled.