Now booting from c kernel :)