More notes re Dual boot Win/Linux/UEFI