You can switch OS's using the UEFI menu instead. It's not always convenient, depending on your UEFI implementation, however.