acrn-kernel/tools/bootconfig/include/linux/errno.h