sel4simple: remove simple_copy_caps

- it's wrong (assumes a single level cspace and bootinfo)

trivial: return a bool in simple_is_untyped_cap

Fix licenses

SELFOUR-807: Add can_use_dev param for frame vka

This parameter allows the allocators to potentially use device untyped
objects for anonymous frame creation by setting to true.

SELFOUR-421 Handle updated bootinfo with device untypeds

Updates the simple-default implementation, and libsel4debug, to
handle the removal of device frames and addition of device untypeds
to bootinfo.

libsel4-simple: Remove some unnecessary casts.

sel4simple: clean up

Report errors when functions don't exist rather than assert failing.
This stops threads from faulting in release mode where assert isn't
defined.

Also run make style for some consistency.

libsel4simple: remove hardcoded cnode size bit