Abstract kernel console output

[shawnanastasio]

Kernel console output is currently hardcoded to output to the VGA textmode driver. Should probably create a console provider interface to allow for easy swapping to other output providers (serial port, VESA, etc.)