Fix inability to boot NAND contents caused by 04c41c1d3826. Might be nice to refactor this code to decrease duplication, but for now just a fix.