raspberry_pi.md: added kernel building and video links