main.c changed kernel_ prefixes to system_