Yeah, the unmodified factory kernel for the Mark 2 is here. Just pull the power, run logoedit, drag that file onto logoedit, wait till it prompts you to apply power, and then do so.

Leave it in place long enough to get your config.ini editing done.