arm: missed this change for better output on modern kernels