Adapt the os loader to be compiler with GCC and NASM