Gracias por tu respuesta, si B0 y B1 nunca se apagan, en el codigo final no iran, en este los he puesto a modo de señalizadores, para ver que zonas del programa se ejecutaban. El led B2 es el que no se activa, y deberia activarse si el numero de rebotes es distinto de 0 ya que entraria en el "if (cuenta_reb!=0)"
La señal es de 38khz, por eso le he puesto esa temporizacion, al principio le puse que temporizara 1.024ms y tampoco iba por eso le subi a 4.096,