Thanks, Rene.
I did it and succesfully rebooted BBB.
root@beaglebone:~# modprobe lirc_bbb
libkmod: ERROR ../libkmod/libkmod.c:554 kmod_search_moddep: could not open moddep file '/lib/modules/3.8.13-bone50-GL/modules.dep.bin'
root@beaglebone:/lib/modules/3.8.13-bone50# ls -la
total 1252
drwxr-xr-x 3 root root 4096 Feb 13 01:05 .
drwxr-xr-x 3 root root 4096 Feb 12 18:25 ..
lrwxrwxrwx 1 root root 28 Feb 13 01:05 build -> /usr/src/linux-3.8.13-bone50
drwxr-xr-x 9 root root 4096 May 13 2014 kernel
-rw-r--r-- 1 root root 327125 May 15 2014 modules.alias
-rw-r--r-- 1 root root 347363 May 15 2014 modules.alias.bin
-rw-r--r-- 1 root root 14230 May 13 2014 modules.builtin
-rw-r--r-- 1 root root 16918 May 15 2014 modules.builtin.bin
-rw-r--r-- 1 root root 89181 May 15 2014 modules.dep
-rw-r--r-- 1 root root 143882 May 15 2014 modules.dep.bin
-rw-r--r-- 1 root root 140 May 15 2014 modules.devname
-rw-r--r-- 1 root root 50010 May 13 2014 modules.order
-rw-r--r-- 1 root root 131 May 15 2014 modules.softdep
-rw-r--r-- 1 root root 111721 May 15 2014 modules.symbols
-rw-r--r-- 1 root root 142850 May 15 2014 modules.symbols.bin