Any reason not to just export this all the time?  Also, it should probably preserve the existing value like above, in case we ever, eg, ship some external facts as part of the MK, for additional hardware data or something.