Hmmm, I just upgraded my BIOS to the latest one, and now I don't have sound under Linux. Nothing I do seems to bring it back to life. Atul