MX31: Add NAND SPL boot support to i.MX31 PDK board.