Set up QEMU and add some notes on UEFI