Use stock kernel for now