Nice writeup. WinDbg has the same stale-cache trap on live Windows targets.