Do not copy notification config out of the IRQ structure.
tree0f691cd4eb7fe7046d2e7e1eb34131e8332154e8
-rw-r--r-- 596 HelenOS.config
-rw-r--r-- 3578 Makefile
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - kernel
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 216 version