HP Mini 311 netbook debuts, packs Nvidia ION chip