RE: F11 fix for sound on Intel HDA machines ?