move include with '__STDC_FORMAT_MACROS' to portal.h, since this file doesn't exist in kernel and we need to define substitute macros
added read/write methods to /dev/xbsvtest
added read/write methods to kernel module skeleton