bitrig branch marco_vtd deleted

[Marco Peereboom]

the bitrig marco_vtd branch has been deleted by marco.