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