Oh wait, nevermind. I connected screen to the wrong terminal. I should get some sleep… 
Yep, that all looks perfect. The “Error” message you get is expected/misleading, it’s part of the discovery process that OpenOCD does in determining that the core is 32-bit, not 64-bit.