[PATCH 25/34] boot: pxe: Drop the duplicate comment on get_pxe_file()