[PATCH 13/13] Add a way to select the default device type.