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