Config tool: PC80 directory ??

[Ollie Lho]

Eric,
        I found that the Config tool does not travel though the src/pc80
directory. This makes some problem in generating IDE capable LinuxBIOS
since it is reside in src/pc80/ide. Can you fix this for me ??

Ollie