Merge pull request #22 from tim-yang/master

Changes for updating the Linux 3.8.13 kernel
Remove platform powerpc-as6700-32x-r0b from
builds/installer/powerpc/all platforms.mk