Partial merge of revision 3230 from trunk:Keep platform boot.c & code_gen.txt files consistent between 1.2 & 1.3.