[vdr] Getting started with Pi TV HAT and gpio-ir