RE: [PATCH] armv8: Fix TCR 64-bit writes