Adds some kernel debug code

Seg fault occurs when trying to read "score" (printf or to store in
scores). Everything is only if any other value goes into scores...