Mini Mi: HP bringt neues Linux-Netbook