Son los mismos a diferencia del kernel personalizado que te muestra el tutorial para el modo fastboot ya que en cada actualización es un kernel diferente!! Así que me imagino que el de xda debería traer el de 7.1
Enviado desde mi D6503 mediante Tapatalk