Add support for sony cxd2880 tuner to kernel for official RPI DVB tv hat