Update kernel, switch to debug builds for dev, disable page flipping, and tweak development environment.