this fixes 3 of 4 mainboards failed by the error on missing IRQ_SLOT_COUNT.
-rw-r--r-- 17987 COPYING
-rw-r--r-- 13162 Makefile
-rw-r--r-- 2542 README
drwxr-xr-x - documentation
drwxr-xr-x - payloads
drwxr-xr-x - src
drwxr-xr-x - util