Flushing and invalidating cache when setting ttb0
Switching ttb0 kind of sort of maybe works