What's a "SSHD"? And a "SDD"? I think you're getting your terminology mixed up.
Personally, I feel the first one will be faster for video editing, as many video editing programs are multi-threaded and love more CPU cores. The second one seems to use a 32GB SSD as a cache drive so bootup will be faster, but I don't mind sacrificing 5-6 seconds on bootup for an overall faster experience.