ef34k stock kernel source