XML error: spapr-vio address 0x4000 already in use