Snippets for acl2 8.6 from Nix aarch64-linux

Sourced from https://hydra.nixos.org/log/snz58y8asgnsjmcwydhdd6b12prnprym-acl2-8.6.drv.