Você pode tentar remapear o teclado como fizeram no este tópico. Você pode usar a ferramenta de gui xmodmaps para descobrir as informações que você precisa. O comando que você provavelmente precisará é xmodmap -e 'keycode 69=F3'
ou algo assim.