PUB:20140718 Linux Kernel Testing and Debugging 4

@bazz2