I've seen ilmatar mentioned to be running on both IA and ARM boards so I still stand by its software name not a codename for a device