porting LPC11Uxx HWRNG stuff over to PIC32