New AUIPC semantics
Re-enable virtual memory tests