А может ли БИОС базироваться на ядре linux?
Тогда это будет называться не BIOS.
Если вы про то, чтобы прошить в BIOS целый Linux, то да - Android же существует.
Графические BIOS делают уже лет 15 как.
А консоль, которую вы видели - это EFI
https://ru.wikipedia.org/wiki/CorebootCoreboot сам по себе является только маленькой программой, выполняющей инициализацию оборудования на материнской плате, далее управление передаётся одной из программ полезной нагрузки:
...
    ядро Linux — также может выступать в качестве полезной нагрузки.