I can confirm it's bundled, too.
Before I install ESXi 5.1, I upgraded firmware to 7.0 manually. Once ESXi is installed, I found firmware was downgraded to 5.0 which comes with stock driver. Then I upgraded the driver, firmware was upgraded to 7.0 again.
