This is necessary because in contrast to the zynq boards (see specs in genode-world), only zynq_qemu uses UART_0. These files should thus fall under the zynq_qemu spec. Fixes #2615