2020-05-30 Switch Debian from legacy to UEFI boot mode