libsel4: use seL4_Word to avoid packing on architectures where int is not the machine size
libsel4: use seL4_Word to avoid packing on architectures where int is not the machine size

zhicheng/seL4,cmr/seL4,zhicheng/seL4,zhicheng/seL4,cmr/seL4,cmr/seL4