(don't merge) Remove const qualifiers from domain schedule variables

[JE-Archer]

This PR removes the const qualifiers from the variables in domain_schedule.c, so that it may be compiled with a kernel that also lacks const qualifiers on these variables (see https://github.com/seL4/seL4/pull/1308).