fixing Makefile for kernel build
Merge branch 'master' of github.com:cambridgehackers/xbsv
adding code for to free portalmem buffers when they are allocated from withinthe kernel