La ultima version de ese kernel es el 9.8, alguna razon para usar una version mas antigua?
Edit: no me habia dado cuenta que el primer post es de hace varios meses. la ultima version de orange fox es la 11.1:
https://orangefox.download/es-ES/device/lavender