Welche xml hast Du im Verzeichnis RevolutionHD drin? die skin.xml oder die skin_no_overscan.xml? Wenn es die zweite ist, mußt Du die noch nach skin.xml umbenennen. Hatte ich gestern auch. Nach dem umbenennen konnte ich den Revolution dann im Skin Menü auswählen.