Simplify check_load_reservation

Invoking refill_tlb to get the physical address is somewhat baroque,
and not even helpful in practice, since successful SCs will fill
the TLB anyway.