fixed some stuff to make the kernel build again