I currently have a win 11 machine and would like to dual boot with Linux. Looking at some of the different options, it seems many aren’t recommended for dual booting. Are there any that are?