Yes, the philips ISP1161 - has a 32bit variant too (1162).

:)

Hugo