Jian Liu pointed out that the AMBA spec says axi_awlen and axi_arlen should be the number of transfers *minus one*.