Customized firmware

Hey Dave,

the secret is here → bbserial @Aiph5u

In detail

Note: Besides bbserial.ko problem, the Raspberry Pi OSDebian (it’s a fork with proprietary kernel image and firmware fetched from Raspberry Pi Foundation server in a file in your /etc/apt/sources.list.d)