build-x86-01: building 80v2s3zb06dprfv77r1krz6jxv5h5smp-opentofu-1.13.1.drv