SW: update to kernel version 3.1.0-grml