Weren't we going to get rid of the saving of cr0, but storing its value in a piece of (percpu) global data?