Added function pok_cons_write needed by syscall.c, TODO: make it print the string to the console