Introducing a temporary work-around for a register mapping problem with 32-bit Linux targets.