D803 probably does not need it's own kernel, and current one is not configured properly

Change-Id: Iff5fe29e1bd7f1fb6f958dbece2b079b84ef9ad8