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

libsel4utils: Add aarch64 support