The steps for installing IodeOS have been changed / simplified for official devices. Unfortunately, the simplified steps do not work (yet) for my unofficial builds, so the instructions in the first post above about the build are now slightly misleading.