a3: Use updated kernel