0x7C00 - ??

0x7c00 - это линейный адрес, сегментный адрес будет выглядеть так: 0x07c0:0000

Я бы не стал так уверенно говорить по поводу значений регистровой пары cs:ip после передачи управления дисковому загрузчику. Я бы даже не стал надеяться на казалось бы гарантированные 33 килобайта в конце текущего кодового сегмента. Ведь древние BIOS расчитывали на древние процессоры и на заворачивание физического адреса после первого мегабайта, поэтому теоретически кодовый сегмент может начинаться в старших адресах и заканчиваться в младших. Иными словами, имеет смысл сделать дальний переход уже в первом параграфе кода дискового загрузчика!