vc707axi: track rocketchip API changes (#16)