Как таблицы ACPI отправляются в Linux из SeaBIOS

Я работаю над драйверами устройств Linux на плате Intel Atom Rangeley. Мы можем использовать DTS и ACPI для предоставления информации об устройстве платформы.

В настоящее время я использую таблицы ACPI, хочу понять, как таблицы ACPI переносятся в Linux через SeaBIOS.

Поправь меня, если я ошибаюсь, Заранее спасибо.