[seL4] Building seL4x86_64 on Debian