x86 mpx: Change return type of get_reg_offset()