formatted kernel output for debugging