quick & dirty workaround while the kernel is getting fixed: xmodmap -e 'keycode 232 = XF86_Switch_VT_7' xmodmap -e 'keycode 233 = XF86_Switch_VT_7'
quick & dirty workaround while the kernel is getting fixed:
xmodmap -e 'keycode 232 = XF86_Switch_VT_7'
xmodmap -e 'keycode 233 = XF86_Switch_VT_7'