CONFIG_AS_HAS_SHA3=y
