Force get_device_size to return an int in OTA manager

code/ota.py

@@ -127,7 +127,7 @@ def get_boards():
 
 def get_device_size(device):
     if device.get('mem_size', 0) == device.get('sdk_size', 0):
-        return int(device.get('mem_size', 0)) / 1024
+        return int(int(device.get('mem_size', 0)) / 1024)
     return 0