[unikernelenthu]

Try this one: https://www.raspberrypi.org/forums/viewtopic.php?f=28&t=2435...

I believe the old binary is there and you can revert using the same mechanism