headers/private/kernel/boot/menu.h
src/system/boot/loader/menu.h