[Concept] [PATCH 11/32] boot: pxe: Rename destroy_pxe_menu() to pxe_menu_uninit()