Agora é oficial: HP Mini-Note no Brasil – com Linux