FYI, I've updated the HOWTO to include RPi4's. It's here:

https://docs.google.com/document/d/1hgcsAgk_FJRYW5r7LVeY23sTZN_giUit-8ra-dlW9ng