Update Linux-3.8.13 and Correct installer make file

Update Linux-3.8.13 for correct ma1 interface
Remove powerpc-as6700-32x-r0b from platforms.mk for building the installer