Torgeir It is working! :-DIt was this that put me on the right track. I was loading dvb-ttusb-budget and this was breaking the ir part.
And I don't think you need to explicitly load all modules, I just have
modprobe budget-ci in my rc.modules.
Thanks for you help
Tim