tree cb181182d31d9cd3d51e783d0a1d5833cdbe110c
parent 4b0dc8b17fdc84f2dbbeb7e964c77e84d8611bb2
author Gerard Marull-Paretas <gerard@teslabs.com> 1652189729 +0200
committer Gerard Marull-Paretas <gerard@teslabs.com> 1652260729 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQEzBAABCgAdFiEERU50fLrimS2wDLn1h7uNpCuJ0boFAmJ7f3kACgkQh7uNpCuJ
 0bqrtQf/XzodrzRAMm8eV559gG97+ORLp+IpAVweTlM3FsndbV1rHVFXkVjBX0Lp
 ayRngXvWJ6ElEi98xN3BzXAb37mR8Ty55Aku1Xu+ZyMTvccsMnQx2GtzgVV7aulb
 FzEqshbzTct3OeHzugpGXz8dqsu/hYJsj0LZBNRKp4Mptvh/UHX9sQOj3g9F+pAk
 Vw2FL+RM9Cbi/cDfZFPp2ZXhK0wyZPK6OVexk4+8HC7R2uWj4J3lrciZTqxjJzyD
 V0Jg+SfEM1ZrRXVt+zYHwKjxiOqlKS2j7oN9gprkSlFJE4q+ZxBFxSogbfnrI1If
 F7iuiceUJP4U6+FWa4MyjB5ow7NJWQ==
 =kww/
 -----END PGP SIGNATURE-----

zephyr: use <zephyr/kernel.h>

<zephyr/zephyr.h> is a shim to the Kernel header, so let's use it
directly.

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