kernel: dont use highest level of optimization on workqueue.c