I think the best option would be that Pandora will ship with a custom light-weight firmware, but Ubuntu "Pandora Edition" could be downloaded from openpandora.org. As Pandora will be able to boot from NAND and SD card, you use the default firmware (very fast and efficient) when you want to play...