Do I need to have both cards physically installed while running the config?
Certainly not :) ...
Are you using "make menuconfig" to
set-up your kernel? Maybe some other
options on a higher level aren't turned
on ... let's say your Thunderlan was a
EISA card, but you forgot to turn EISA
support on in the General Setup-section.
Then it's going to be skipped...