Add the mysteriously-missing virt1002 and virt1003 entries.

Change-Id: I3bcb884c3ccd5d52f0d2e7c325043e3a0eb3ec1d