raspbian: some updates in INSTALL.md