docs: raspi instructions work for both Raspbian and Debian