Hi,
Yes, seabios always allocates both mem and io.
What if it can't? E.g. too many devices.
First tries to move 64bit bars above 64g. Guess we better should
exclude virtio devices here (like we do for xhci already).
Failing that it'll panic.
cheers,
Gerd
