x86_64: config_h.cmxs
