[PATCH v3 08/19] boot: pxe: Drop the duplicate comment on get_pxe_file()