zephyr/ext/hal/Kbuild