Updated x13 kernel
Sync with v5_0
Updated x13 kernel
Merge remote-tracking branch 'upstream/v5_0' into x11mod
Fixed x13 and other issues

Corrected the x13 errors and fixed a few issues with the config parser's
handling of the default_profile.
Updated x11 kernel
Merge pull request #282 from ystarnaud/x11mod

Updated x11 and x13 kernels