@IBM: If you try out the test kernel mentioned in comment #5, can you please also check if you see the messages mentioned in comment #6.
@IBM: If you try out the test kernel mentioned in comment #5, can you please also check if you see the messages mentioned in comment #6.