How much performance/credit difference is there between running Linux under VBox vs. booting Linux from a USB stick?