# CONFIG_OBJTOOL is not set
