to reduce future work in various areas, the following drivers / options will be removed in two weeks, if noone complains: - GPLed math emulator - GPLed dgb driver