.
Merge branch 'master' of https://github.com/dbittman/seakernel
fixed memory map processing to care about the upper 32bits...
fixed shell script memory leak