040db5b721
interface. Do some general consistency fixes and space optimizations. Use of some freed-up space to defend against possible BIOS misfeatures. boot2: Revise disk read interface to provide for boot1 changes. Free up space for this.