On the same machine I need to host three operating systems, all debian-based. Is it possible to select which system to boot while rebooting? (My intent is then to reboot the selected system by sending the command via SSH)