How to create an HP Mini Mi Edition restore disk in Linux