void fw_cfg_add_i32(FWCfgState *s, uint16_t key, uint32_t value)

{

    uint32_t *copy;



    copy = g_malloc(sizeof(value));

    *copy = cpu_to_le32(value);

    fw_cfg_add_bytes(s, key, (uint8_t *)copy, sizeof(value));

}
