Remove usage of floats in the kernel to speed up syscalls and context switches.
Created by: ticki
There is a significant loss of performance when using floating points in the kernel space (due to interrupts). This is the same reason Linux forbids the use of floats in the kernel.
To complete this task, libcore needs to be patched, and the kernel needs to be floating-free.