Hi Thomas, it seems that we have got the next kernel bug. This time, that is a combination with gcc...