netbsd-rumpkernel: update to 20130702.