Fixed performance bug:  we were writing to cr3 twice