update abstract register mapping to ARM real registers