Re: [PATCH 10/19] hw/timer/xilinx_timer: Only expect big-endian accesses