Make it compile with CONFIG_SEC_DEBUG disabled.

Conflicts:
	kernel/workqueue.c