Re: [PATCH v3 06/18] pxe: Tidy up the is_pxe global