Samsung Fn hotkeys and Arch Linux