Fixed warnings
Ported seoul to run on x86_64 hosts.

This is not completely finished yet, but the fundamental things
are done. And many things couldn't be tested yet.
Make use of size_t, ... (more portable and less error-prone).
Disabled IDT print (clutters the output).