Updated isolinux info pages for x86_64