serialBBB.pl works with new dbs file installed in /boot/dts, UART0 doesn't work