pragma once and for all

Fix all the whitespace

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

Fix licenses

sel4vka: add cspacepath_swap

libsel4vka: 64-bit compatible types

Cleanup various debug printing to be size agnostic as well as change the types of
any cookies to be a seL4_Word instead of an explicit uint32_t

libsel4vka: Put whitespace in-between adjacent string literals.

Later C++ standards interpret characters immediately adjacent to a string
literal to be an encoding modifier (similar to unicode literals). This commit
inserts whitespace to avoid this ambiguity. It should have no effect when
compiling under standards without this interpretation.