Vabbé, ho risolto...

Posto lo stesso, casomai qualche altro povero disgraziato si trovi nelle mie condizioni:

$doc = simplexml_load_file(FILEXML);
$xml = $doc->attributes(); // Prelevo il valore di 'release' del file xml
echo $release = $xml[0];