Update with `ARMV8_HAVE_SHA3_AND_WORTH_USING`