[coreboot] Questions about how to record hardware information on ARM

[Hamo]

> Devices that can not be probed have to be put in the static device
> tree. Coreboot has support for a number of those, SuperIOs for example.
>
current static device tree is based on PCI bus. every device should
under a PCI domain and have its own PCI bus number and device number.
This is the problem. Maybe I can try to add a new AHBA domain and put
all the ARM devices under it. But I am not familiar with lex so this
may take a long time.
>
> Really? Why is the current format not sufficient?