pragma once and for all
Change 1 << * to BIT(*) in some cases
Fix licenses
libsel4utils: Add aarch64 support
Prepare for aarch64 implementation