Merge branch 'do-not-uniquify-instructions-in-kernel-ctor' into 'master'

Kernel constructor: Add an option to control whether instruction IDs get uniquified or not.

See merge request !142