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