$ ./configure --enable-hc-boot --enable-hc-boot-unregisterised</screen>
<para>You might need to update
$ ./configure --enable-hc-boot --enable-hc-boot-unregisterised</screen>
<para>You might need to update
platform, and re-generate
<filename>configure</filename> with
<literal>autoreconf</literal>.</para>
platform, and re-generate
<filename>configure</filename> with
<literal>autoreconf</literal>.</para>