now building portal driver as LKM, also add call to misc_deregister() to enable reloading