kernel/Makefile: Don't use highest optimization level on workqueue.c

Conflicts:
	kernel/Makefile