A few additional example boot_vm comments + tweaks

Change-Id: I2b8758a16d139bb4454c0debc972a12cac737ad1