Re: [U-Boot] [RFC PATCH] armv8: cache: Switch MMU table without turning off MMU