Re: [PATCH v4 9/9] arm: enable support for QEMU firmware tables