Stock kernel for E730