misc: rename the kernel

and hardcode some stuff