bios

• Reboot to BIOS/UEFI with systemd
  10/22