[opensuse] UEFI, dual boot, and shrinking Windows partition