It is only used as an argument to _kern_load_image directly, not to any of the load_image functions in image.h, so it belongs in a syscall- specific header like other such constants. No functional change intended.