Sockeye: Implement proper module instantiation check
[barrelfish] / socs /
drwxr-xr-x   ..
-rw-r--r-- 501 Hakefile
-rw-r--r-- 25530 omap44xx.soc