ok, I've added the "dtoverlay=lirc-rpi" to the config.txt, tried like that, and with several other options set (dtparam=) and still no joy, still nothing comes up when I enter "dmesg|grep lirc". Is there a way to troubleshoot this? it seems to not be loading the module at all, is there a log written as the overlay is being loaded which I could check for errors?