Add support to compile the bootloaders

Additionaly, include a minor fix to load the kernel
syscall library (kernel32.so).