vgaet4000 +cur

is in pcflop but none of the other pc kernel configuration files.