dev86: updated to 0.16.9
iasl: updated to 20130214
virtualbox: updated to 4.2.6 (thanks Thomas)