Chain loader, kernel in C