Added "--enable-hc-boot-unregisterised" option to configure, for bootstrapping from unregisterised HC files.