podemos compilarlo ya sea bajandonos el kernel original y parcheandolo o
bajarnos directamente el kernel parcheado desde xanmod
