remove --enable-hc-boot-unregisterised (implied by --enable-hc-boot now)