SDK HelloWorld is outdated

04 Aug 2013

Small one, but see: http://mbed.org/questions/1475/default-sample-program-missing-resource-/.

Not the intended place where people start, but since it is so easy to fix, the HelloWorld program here http://mbed.org/handbook/mbed-SDK is from before KL25Z support.