[seL4] Capabilities of binary images