When switching between 32-bit and 64-bit address spaces, invalidate all translations.
Authored by: debug 2019-06-06
Parent: [r6228]
Child: [r6230]
