coreos-pi4 The code here simplifies the preparation of an SD card for Raspberry Pi 4 with Fedor CoreOS