kill obsolete libdrm configuration option