https://tech.joellemena.com/tech/how-to-change-the-os-name-in-windows-boot-manager/