Dell Mini 10, netbook-ul cu ecran HD opţional