pl050: add QEMU interface comment