chris Sun, 25 Aug 2013 17:51:16 -0700
hmmm I just booted it. No new kernel and no firmware has been added.
Jason?