Не, это просто измененный алгоритм, работающий аналогично "стандартному" загрузчику ПЗУ.
Я выше привёл кусок начала алгоритма, там видно, что первичное значение берётся "1F" и сразу от него отнимается "20", и далее используется уже результат вычитания, т.е. фактически начинается с того-же "FF".
Причём как я уже тоже писал, выяснилось, что старший бит адреса не участвует в формировании адреса ПЗУ, это бит "активации" ПЗУ как писал artur_n.
Так-что загрузчик "hdd_boot.bin" проверяет ПЗУ так-же как "стандартный", с шагом 8КБ.