If its not enabled then thats good I guess.
But it hasnt stopped it from having configs still placed in your system, such as the /etc/modprobe.d/supergfxd.conf
I also wonder about this line … I dont think its there by default… and the option is known to cause problems.
In fact … I wonder about the drm ones too.