These two kernel modules do not appear to be available on ATRPMs. A place for ivtv-kmdl for this kernel appears on the site, but no real file exists when you click the link. I didn't see lirc-kmdl at all. Do you know where I could grab these?