Complete the basic port to GCC of the kernel

We still need some work in the kernel ELF32 modules/drivers loader
(the current code for this use PE32 binary format).