Hacer reset en nokia n800

No es que sea muy necesario (realmente sólo he necesitado hacerlo una vez) en un mes de uso continuado, pero está bien añadir una forma de hacer reset en caliente de la maquinita.
Nada más fácil que descomentar el elemento reboot en el fichero /etc/systemui/systemui.xml con lo que tendremos accesible esta nueva opción.