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