[seL4] Building seL4test x86_64 on Debian with the Docker image