Simple GRUB-compatible C kernel.