Fix licenses
libsel4utils: Collapse some unnecessary forward declarations.
libsel4utils: Minor type and printing changes for 64bit compatibility
all: s/LOG_*/ZF_LOG*