Fix missing scheduler driver options.

Change-Id: I27916627ede6ca308e1a3d1e2d193c3318266406