Con mia grande sorpesa ho visto che adesso, con Raspbian Jessie, VLC effettua la decodifica dei filmati H264 in hardware. Ovvero adesso c'è un buon player video con interfaccia grafica.
Fino a qualche tempo fa bisognava ricompilarselo da se per ottenere questi risultati.
Magari a qualcuno interessava saperlo.
Ciao