zephyr: use <zephyr/kernel.h>

<zephyr/zephyr.h> is just a shim to the <zephyr/kernel.h> header, better
use it directly as it is explicit that Kernel APIs are being included.

Signed-off-by: Gerard Marull-Paretas <gerard@teslabs.com>

boot/zephyr/boot_serial_extensions.c

@@ -4,7 +4,7 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
-#include <zephyr/zephyr.h>
+#include <zephyr/kernel.h>
 #include <zephyr/drivers/flash.h>
 #include <zephyr/mgmt/mcumgr/zephyr_groups.h>
 

boot/zephyr/flash_map_extended.c

@@ -5,7 +5,7 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
-#include <zephyr/zephyr.h>
+#include <zephyr/kernel.h>
 #include <zephyr/devicetree.h>
 #include <zephyr/drivers/flash.h>
 

boot/zephyr/hooks_sample.c

@@ -15,7 +15,7 @@
  */
 
 #include <assert.h>
-#include <zephyr/zephyr.h>
+#include <zephyr/kernel.h>
 #include "bootutil/image.h"
 #include "bootutil/bootutil.h"
 #include "bootutil/fault_injection_hardening.h"

boot/zephyr/main.c

@@ -17,7 +17,7 @@
  */
 
 #include <assert.h>
-#include <zephyr/zephyr.h>
+#include <zephyr/kernel.h>
 #include <zephyr/devicetree.h>
 #include <zephyr/drivers/gpio.h>
 #include <zephyr/sys/__assert.h>

boot/zephyr/os.c

@@ -17,7 +17,7 @@
  * under the License.
  */
 
-#include <zephyr/zephyr.h>
+#include <zephyr/kernel.h>
 #include <string.h>
 
 #include "os/os_heap.h"

boot/zephyr/serial_adapter.c

@@ -18,7 +18,7 @@
 #include <zephyr/drivers/uart.h>
 #include <assert.h>
 #include <string.h>
-#include <zephyr/zephyr.h>
+#include <zephyr/kernel.h>
 #include "bootutil/bootutil_log.h"
 #include <zephyr/usb/usb_device.h>
 

samples/zephyr/hello-world/src/main.c

@@ -4,7 +4,7 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
-#include <zephyr/zephyr.h>
+#include <zephyr/kernel.h>
 #include <zephyr/sys/printk.h>
 
 void main(void)