libsel4simple-default: include schedcontrol range

[astevins]

Using bootstrap_new_simple from libsel4allocman did not work properly on MCS kernel, because it was not transferring the scheduling control caps to the new CSpace.

This was due to bootstrap_transfer_caps_simple using simple_get_cap_count and simple_get_nth_cap, which did not include the scheduling control slot range. https://github.com/seL4/seL4_libs/blob/fcabdef37016cd568a40c82e0d97a264b86ee6d4/libsel4allocman/src/bootstrap.c#L491-L501

Adding the scheduling control slot range to these functions resolved the issue.