[OpenBIOS] [PATCH 00/11] PReP support for QEMU 40p machine