David Wales 76e388c2d5
raspberry-rpi: fix use of deprecated initramfs-<flavor> (MR 3225)
This is the same as c8b3a16e38ad5ee75f267fc7afb7e1c0cc4cca64, but
for the original Raspbberry Pi.

Related to !2731
2022-06-13 17:51:46 +02:00
..
2021-12-01 13:16:08 -08:00