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.

seL4_libs/libsel4allocman/src/bootstrap.c

Lines 491 to 501 in fcabdef

	int bootstrap_transfer_caps_simple(bootstrap_info_t *bs, simple_t *simple, int levels) {
	int error;
	size_t i;
	size_t cap_count = simple_get_cap_count(simple);
	seL4_CPtr cnode = simple_get_cnode(simple);
	for(i = 0ul; i < cap_count; i++) {
	seL4_CPtr pos = simple_get_nth_cap(simple,i);
	/* Because we are going to switch root cnodes don't move the old cnode cap

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