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