[PATCH] terminal is not set back to console

[Robert Millan]

When using gfxterm, and booting a kernel in this mode, Linux won't be able to
print anything to the console.  This patch fixes it so that terminal is set
back to normal console during deinitialisation.

Tested and known to work, although I'm not 1:1 sure if this is the right place
to do it.

-- 
Robert Millan

My spam trap is address@hidden  Note: this address is only intended
for spam harvesters.  Writing to it will get you added to my black list.

deinitialise_terminal.diff
Description: Text Data