[PATCH 1/2] libxl_conf: Fix config generation for multiple serial devices