(service qemu-binfmt-service-type
             (qemu-binfmt-configuration
               (platforms (lookup-qemu-platforms "arm"
                                                 "aarch64"
                                                 "powerpc64le"))))