fixedup x86 makefile to build/install portalmem.ko