Hat kernel is now working correctly.