added options for the WFB scheduler to Kconfig