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?