sw: add menu to enable/disable OSD layers and switch resolution (1080p/720p)

removed OSD configureLayer function
add support to stop video pipeline

NOTE: when switching video resolution, a vertical offset can be seen while
running the TPG; need to debug this issue
hw: add sobel and vdma as mem2mem processing pipeline
sw: add sobel filter driver and code to configure and start sobel filter

currently the sobel is used in auto-restart mode so the GIC interrupt
code is commented.
hw: disable FSYNC for vdma_2 and remove fsnyc signals
sw: remove GIC init and ISR for now

enable sobel filter + vdma as default option (-DUSE_FILTER)
hw: increase buffering for VDMA channels connected to OSD layers

still cuts out every now and then when sobel and both OSD layers are enabled
potential fixes are to further increase buffering or crank up clock frequency
sw: enable both OSD layers by default
boot: updated boot image as per latest bitfile