win7 headphone jack not working

Solution 1:

Okay, how this works is beyond me

I went to the ASUS website and downloaded the audio driver for my computer. This didn't change anything, except make my laptop speakers sound better.

Now, when I reboot into windows from linux, the jack doesn't work. But when I turn the computer off and on, and boot into windows, the jack works.

There it is. A complete mystery. At least I know how to make it work, now.