arm: armv8 correct value passed to __asm_dcache_all