add according to http://www.whitewashing.de/2013/08/19/speedup_symfony2_on_vagrant_boxes.html some vagrant speedups for the kernel