Changed the style of kernel.c; enabled the INT 80 driver