diff --git a/frontend/ui/otamanager.lua b/frontend/ui/otamanager.lua
index 5e883c541..e59eb2f7f 100644
--- a/frontend/ui/otamanager.lua
+++ b/frontend/ui/otamanager.lua
@@ -44,8 +44,14 @@ local ota_channels = {
     nightly = _("Development"),
 }
 
+-- "x86", "x64", "arm", "arm64", "ppc", "mips" or "mips64".
+local arch = jit.arch
+
 function OTAManager:getOTAModel()
     if Device:isAndroid() then
+        if arch == "x86" then
+            return "android-x86"
+        end
         return "android"
     elseif Device:isCervantes() then
         return "cervantes"