Ya han sacado el código para acceder al menú de desarrollador en el R4.0 y funciona (password: 20130822)