Overwriting kernel functions

[IanSeyler]

The kernel still calls the built-in input/output functions if something (like Alloy) changes the kernel function table. The kernel should use the public function table and not internal addresses for the default functions.

[ghost]

Could also use this change to implement system v calling conventions for functions in the public function table.