patches: fix ascii art in /etc/banner