SYSRET patch.  need to do invalidate_prefetch() for correctness
SYSRET patch.  need to do invalidate_prefetch() for correctness

marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet