coreos/scripts — pull request #280 by marineam (2014-06-18 21:23:01+00:00)
Title: fix(disk_util): Install syslinux with extlinux

Attempting to work around an apparent race in mtools, the command
'extlinux' these days is just the install tool for mounted partitions
while 'syslinux' is for unmounted devices.