[PATCH 0/1] rpi: Fix compilation when CONFIG_VIDEO is disabled