https://eldon.me/adding-multiple-linux-oses-to-pxe-boot/