axi-registers: fix some issues verilator didn't care about but vivado did