hi I built and installed the firmware and driver after loading it and try to test using the python script im getting BAD ADDRESS and system hangs 1. what is the kernel version you tested it with? 2. if im using the Pico HSM for random number generation - is it the same? thanks