Badger2040 - LED won't extenguis

I fixed this bug the other day - there’s links to fixed MicroPython builds in this post: