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