[WIP] Fixing issues with binned spice files

Signed-off-by: Grzegorz Latosinski <glatosinski@antmicro.com>
11 files changed