revert krnl HEAD