I booted into Debian a few days ago but haven't used it much due to no graphical acceleration and the inability to generate characters like quotation mark or slash, all mandatory stuff for Unix operation.
Do we even know if the key sends a hardware or a software event?
I'm guessing one could use xmodmap for these symbols via the Alt key if Function requires a driver to work.