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