Removed debug kernel option