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

Conflicts:

	kernel/Makefile