[AArch64] Use GCC builtins to count leading/tailing zeros.