Added Syslinux MBR boot code installation to device_name in the install-arch build function