updates to <kern/ev.h> + dungeon/mjolnir