temp hack to remove usage of kernel-only datatypes in pcieportal.h