success! severn + gcc 3.3 kernel + wireless + nvidia