Update inline built kernel (using Franco temporarily)