Hardware ID (also known as flavor) to use when starting the machine.