linux: remove old kernel options in extra-graphics-device.cfg