Properly distinguish between Android and Ubuntu Touch ROMs