Port front-end changes from f665901e3c to glitch-soc Signed-off-by: Thibaut Girka <thib@sitedethib.com>
f665901e3c
Port 74dae9458d and related to glitch-soc
74dae9458d
7badad7797