glpi: Better os filtering (OS Repartition dashboard plugin)