oops, add missing arbiter.v (was from SURF4 firmware)