Very interesting video. However, I'm missing instructions on how to change the default OS in the boot manager.