Further attempts to get virt1009 a proper IP

Change-Id: I6ec96b8236dadd39ca6d76921b2104d671a9bbeb