keyboard/altgr: proper function to convert char maps