netbsd-rumpkernel: update to 20131206.