Modify syslinux to use custom branding