libsel4: Make bootinfo consistent. Some slot positions in the rootnode would depend on configuration. However that makes it difficult to add new root caps, especially if multiple caps only exist based on configuration. Make all caps always there, but null if not configured.
These are changes required to AOS to make it work with seL4 version 13.0.0.
The breaking change that needs to be fixed is
Also see: