A small question (Score 1)

IBM has surely done some modifications to the linux kernel in order get it up and running on this little watch.

Since the kernel code is GPL'd, IBM should release their modifications or am i wrong ?
--