Sockeye: Switch default mapping to 0x0 if no base address given
[barrelfish] / socs /
drwxr-xr-x   ..
-rw-r--r-- 501 Hakefile
-rw-r--r-- 26071 omap44xx.soc