Everything from there on is pretty standard. If I had known that you wanted to install red and anyway, then we could have also updated the boot1 as part of the redNAND setup, which for some reason works reliabily, even when launched from PTB.
I think I should add that procedure to the guide...