# CONFIG_A64FX_DIAG is not set
