# CONFIG_OABI_COMPAT is not set