Use linux-virtual kernel