If I open a terminal and use
/usr/bin/reboot, the machine reboots but BIOS cannot recognize the keyboard (perhaps other USB devices too, but the keyboard has a LED to inform that it's connected) and requires a physical replug.
If I use
mod+0, r to trigger
i3wm reboot, the keyboard is picked up by BIOS.
Is this solvable?