Awesome job, thank you.
My RaspberryPi is already configured and waiting for its ASIC to come...

One small suggestion - to make the guide even more clear you could add two initial steps of SD card formatting and saving the image file to it.