Small optimization in boot code.