chore: fix incorrect Keccak hash formatting in validPCR0s call (#75)

Author: barajeel

tools/pcr0-verifier/entrypoint.sh

@@ -17,4 +17,4 @@ echo -e "\n# Then run these commands to verify:"
 echo "# To register a new PCR0 (requires owner access):"
 echo "cast send \$SYSTEM_CONFIG_GLOBAL_ADDRESS 'registerPCR0(bytes)' ${PCR0_WITH_PREFIX} --rpc-url \$RPC_URL"
 echo -e "\n# To check if a PCR0 is valid:"
-echo "cast call \$SYSTEM_CONFIG_GLOBAL_ADDRESS 'validPCR0s(bytes32)' \$(cast keccak ${PCR0_WITH_PREFIX}) --rpc-url \$RPC_URL"
+echo "cast call \$SYSTEM_CONFIG_GLOBAL_ADDRESS 'validPCR0s(bytes32)' 0x\$(cast keccak \${PCR0}) --rpc-url \$RPC_URL"