enable virtualbox and (for now) disable kernel 3.7