linux-stable-rt/drivers/media/video/hdpvr/Kconfig