I don't like it changing files this way, but it's basically what c49213f0ea and a few others did.
c49213f0ea
port d88a79b456 to glitch-soc Signed-off-by: Thibaut Girka <thib@sitedethib.com>
d88a79b456