Make p2r_call use extended registers
Make Stage2 entry push parameter as 32 bits