Get rid of rc.local

/etc/rc.local isn't shipped by recent Debian versions anymore.
We rely on rc.local at least for the TX-Pi HAT and (re-)create rc.local. 

TODO: Convert everything into a systemd service. 

No priority, though. Just a reminder.
