[lib] cosmetic add ET8000 and ET10000 machine names.