I took another look at that blog page, and I now get the impression that the SD image linked there already contains the Barnes & Noble Color stock OS, but I'm not sure which version it is. If you want to run the Barnes & Noble Color stock OS v1.3 from an SD card, the creator of that SD image...