I have been looking around and found the solution myself: in the Amibian configuration screen under Input, I have the option to change F12 to F11,
...
And how does it help you to re-map F12 to F11, given that Amiga keyboards only go up as far as F10?
:confused: