# CONFIG_GS_FPGABOOT is not set