K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2019-11-01T21:26:43.979962Z
K 7
svn:log
V 196
We don't support configuring serial PCI cards in EFI. Make this clearer in the
source rather than obfuscaring it behind NO_PCI (nothing else declares that,
so it's not making the ifdefs clearer).

END