Refactoring

Change encoding of kernelrecord.cpp file to UTF-8;
Use correct format specifier for size_t variables.