Add source code for disk boot (from disassembly).