9ccb0c0321
that shows up on non-i386 hardware lists "by default" (because no set of hardware platforms was explicitly listed). Reviewed by: -alpha Contributions from: Rolf Neugebauer <neugebar@dcs.gla.ac.uk>, wilko, jhb