netbsd-rumpkernel: update to 20140526.