Trivial: Style fix

make the style checker happy

seL4_libs: remove autoconf.h from seL4_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'

Force page alignment of morecore.

muslcsys: remove reservation checks in mmap

mmap does not use the reservation, it's for brk

sel4muslcsys: Fix macro typo

Revert "Use vspace_new_pages_at() to resolve circular malloc() issue."

This reverts commit 921dc17b8a8560271d9ff1abb72ff1fe8c7e7328.

Reverting this commit as the brk region is contiguous, and the prior change
tries to take portions and make it discontiguous, which will result in brk
failing to work correctly.

Use BYTES_TO_PAGES

Use vspace_new_pages_at() to resolve circular malloc() issue.

Use vspace_new_pages_at() for mmap's dynamic implementation and manually
update the position of the reservation.

Fix all the whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files

Fix licenses

libsel4muslcsys: Expose morecore_top

libsel4muslcsys: Implement mmap syscall

Changes the current mmap2 implementation to be an mmap implementation,
and redirects the mmap2 syscall to mmap

Change `int` types to `uintptr_t`

These types are used to pointers or other machine word sized
pieces of data. Making them `uintptr_t` allows them to be
portable

Cast pointer types to `uintptr_t`

Adds casts of pointer types to `uintptr_t` instead of fixed sized
integer types. This makes these casts stable across changes of
pointer sizes.

SELFOUR-572: muslcsys: Init morecore before mmap

It is possible, by doing a large `malloc` that mmap could be called
before muslc ever needs to initialize the morecore region. As our
implementation 'steals' memory from the morecore region for mmap
it will fail if the morecore region is not initialized.

This change factors out the initialization of the morecore region
for both brk and mmap

libsel4muslcsys: create dummy implementation of sys_madvise()

libsel4muslcsys: Remove overflow in calculation

all: s/LOG_*/ZF_LOG*

muslcsys: define morecore_size for both morecores