# CONFIG_ARCH_WANTS_NO_INSTR is not set
