Re: [PATCH 1/1] armv8: Fix compilation error with SYS_DCACHE_OFF