The menu to which you refer is the firmware's built-in boot manager. Its entries are stored in NVRAM, and can be edited by any number of tools in various environments:
zobaidulkazi/Linux64_kazi
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.