pico_rand_feed(uint32_t feed) made public
Fixed bug in bind