Linux-based HP Mini Mi ships with command line disabled