[SeaBIOS] Does SeaBIOS uses the BIOS interfaces itself?

[Paul Menzel]

Dear SeaBIOS folks,

looking at

$ more src/Kconfig
[…]
    config AHCI
        depends on DRIVES
        bool "AHCI controllers"
        default y
        help
            Support for AHCI disk code.
[…]

disabling the »Drive interface« (which sets(?) `DRIVES`) in the menu
BIOS interfaces, support for booting from an AHCI device is disabled
too.

So for my understanding, in the current implementation SeaBIOS uses its
own BIOS interfaces although strictly it would not be necessary. Is that
correct?

Thanks,

Paul