Constant object::elf::ODK_HWPATCH

pub const ODK_HWPATCH: u32 = 4;

Hardware workarounds performed