Cleaning House

Removed now-unused switches from GCC in build.bat and removed now-untrue
comment from kernel.c.