Minor cleanups and bugfixes in boot.asm