removing all portal-specific code from kernel source tree