dev86: updated to 0.16.19
iasl: updated to 20121220
virtualbox: updated to 4.2.6