target/ppc: reset reservation in do_rfi()