Update kernel.py

[kl2792]

Fix #36 on MacOS, have not tested on Linux, though I don't see why it wouldn't (I use only built-ins).

[brendan-rius]

I would accept it, but you actually removed the use of master.c which is needed to disable stdout buffering :/

[kl2792]

Hm, I'm just curious -- why should stdout buffering be disabled? Isn't it the default for C programs?

[brendan-rius]

There are some cases where there is a long loop and something being printed in it.
For example:

for (int i = 0; i < 1000000; i++) {
  printf("%d\n", i);
  sleep_10_ms();
}

we want the result to be printed as the loop loops, not after it has ended