20081029 tech: HP to launch $400 mini-notebook