trivial: Fix compiler warnings

- Declare unused variables
- Move variable initialization to prevent uninitialized use
- Correctly store bitwise operation result
- Fixup memset calls to use correct size
- Add missing return statement to functions
- Conditionally define functions that are used conditionally

libsel4platsupport: Update ltimer calls

Following from the ltimer IRQ allocation and callback changes, this
commits updates the ltimer calls to reflect the changes. This is meant
to be band-aid fix to just get things compiling until the deprecation of
the timer library in libsel4platsupport.

libsel4platsupport: Update IO ops calls in timer

Following the refactoring of the IO ops interfaces, we update the
relevant calls inside the timer interface. These changes are temporary
and are intended to be a band-aid fix for the deprecation of this
interface in the very near future.

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'

trivial: fix warning

trivial: libsel4platsupport: fix style

libsel4platsupport: Add missing PS_TRIGGER path

Allows sel4bench to run when this is used.

trivial: style and whitespace fixes

ZF_LOG* prints a new line, so avoid the blank extra line.

trivial: fix output warnings on 64-bit

sel4platsupport: Upgrade debug warning to error.

This is more of an error than a warning.

Minor build warning fixes

trivial: squash warnings

sel4platsupport: correctly mask bit

Changes for removal of seL4_CapData_t type in libsel4

This updates seL4_libs to not use what are now deprecated functions and types by using
the new API wrappers

sel4platsupport: Prevent loss of IRQs when setting up timers

Acking the IRQ handler *before* setting the notification object leaves a small window
in which a an IRQ could come in and get lost, thus eliminating the entire purpose of
the ack. Reordering ensures that interrupts will not be lost.

trivial: add UNUSED to unused parameter

libsel4platsupport: Provide interface to initialize timer with a supplied ps_io_ops

This just splits the existing implementation, which was creating a ps_io_ops_t, interface
internally, to a more generic interface that takes a ps_io_ops_t, and a wrapper to preserve
the existing interface that has the original code to create the interface itself.

Initialise stack declared ps_io_ops_t to zero

The usage of this struct assumes that it is zero initialised, this change makes the
declaration respect that.

Use correct format type for `size_t` instead of claiming they are of type `int`

sel4platsupport: identify ioapic by pin

Add timer_objects helper functions

sel4platsupport: init default timer irq objects

Provide ltimer seL4 object initialisation

- remove support for pstimer_t
- replace with an ltimer wrapper, which is arch and platform independant
- timer objects now asks the ltimer what caps it needs, which removes
the need for arch or plat specific code.
- to identify irqs (since ltimers might have more than 1) we use the
upper bits of the badge.
- add sel4ps_pmem_t which wraps pmem_region_t
- main functions for interacting with timers via libsel4platsupport are
now:
* sel4platsupport_init_default_timer
* sel4platsupport_init_default_timer_caps
* sel4platsupport_init_timer_irqs
* sel4platsupport_handle_timer_irq
* sel4platsupport_destroy_timer

Fix all the whitespace

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

Fix licenses

libsel4platsupport: add init_default_timer_caps

Uses a vka, vspace and simple interface to create platform specific
timer caps such as untyped caps, interrupt caps or ioport caps. This
functionality was moved here from sel4test for reuse in other
applications.