#22 Kernel won't run without valid stdin

[Jeff Dike]

Running the kernel like this:

linux </dev/null >/dev/null 2>/dev/null

causes a crash

[Jeff Dike]

Fixed in test10.