HP Mini Mi Edition installer available for download