[seL4] some confuse about "bootstrap_use_current_simple" of bootstrap.c in libsel4allocman