Я предполагаю, что уровень абстрагирования оборудования знает особенности базового оборудования через таблицы ACPI. Эти таблицы обновляются BIOS? Я предполагаю, что BIOS помещает их в память в месте, где ОС сможет найти их.
Как аппаратный уровень абстракции или hal.dll надежно знает, как перевести общую инструкцию драйвера в то, что понимает прошивка? Как он отлично взаимодействует между x комбинациями драйверов и y комбинациями устройств, каждый раз?