2014/08/16追記
mbedライブラリの最新版で解決されています。
ライブラリのRev86以降(mbed-srcではRev285以降)を使えば下記の問題は発生しません。Toyowataさんより情報を頂きました。
https://github.com/mbedmicro/mbed/pull/371
1114でPWMしてみました。
ちょい不満有り。
LPC1768のmbedでは問題無いんだけど1114では細かいパルスが出る。
write(0.0)とした後に少しコードを追加して解決。
mbedのAPIって、CPUが変わると同じ動作をしないことがあるんすね。
結局はCPUのユーザーズマニュアルを読むハメになってしまう・・・うう