[Bug 677919] kernel panic with dosemu