new kernel is now working :)