usbboot/isolinux.cfg: forgot to delete extraneous [64-bit]