Kernel question about sk(4)

[Mark]

I have a question about the sk(4) driver. I want to use the 3Com 3C940,
onboard an ASUS K8V Deluxe motherboard, using FreeBSD 4.9R.

I asked this before; but this is not really a 3com question, but more a
kernel question, I think. At the SYNOPSIS of sk(4), I read:

      device miibus
      device sk

Does that mean I need to recompile the kernel? Because "device sk" is not
part of my kernel config, it seems.

Thanks,

- Mark