[Qemu-devel] qemu patches

[Ilias]

Hi,

Your recent patch

https://github.com/qemu/qemu/commit/12e9493df9242a2051701e7eb64175d4e904acba#diff-d98f9b48cc332d226892f0db74a86b87

to the file

target/i386/whpx-all.c
<https://github.com/qemu/qemu/blob/master/target/i386/whpx-all.c>

breaks compilation when WHPX is enabled.

Please add

#include "hw/boards.h"

to the #include section of the above file again to fix it.