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