# CONFIG_EXTENDED_MODVERSIONS is not set
