Original 8.12.27 kernel?