What are my options for finding a kernel for the BBB with both uio_prussdrv and Bluetooth 4.0 (in particular Low Energy) support? From what I’m reading BLE support is pretty recent while uio_prussdrv got dropped a while ago (I need extmem so remoteproc doesn’t work for me).