Re: [Linaro-acpi] acpi-topic-bad-madt kernel on QEMU virt model