More rebranding, especially in efiboot and isolinux.