Stock JB kernel for the hercules