[PATCH] taskschd: Use the ARRAY_SIZE() macro