Special case for REX encoding with R12/RBP