Port front-end changes from f088e090e4 to glitch-soc Signed-off-by: Thibaut Girka <thib@sitedethib.com>
f088e090e4