As my machine has a dual boot with MS Windows, F2 and F3 keyboard keys work fine in Windows in lowering and increasing sound volume, and F1 for muting it etcetera F4, F5, F6..., but in Debian they don't seem to work.
Please help who can, thanks in advance. Rodolfo
