# CONFIG_MICROSOFT_MANA is not set
