Re: [PATCH v2 00/16] pxe: Allow extlinux booting without CMDLINE enabled