Corrected pager-related regressions.

page_stdin() and is_stdin_nonempty() suffered related mishaps in
standard input handling. Unrelatedly, make_kernel() has been slightly
improved with more aesthetic output.