moving contents of /device_xilinx_kernel/include/linux/portal.h to xbsv/drivers/portal/portal.h. all portal code has now been extracted from the kernel source tree