I am creating a ptxdist BSP and have a series.<platform> patchset for a given kernel version. I have noticed that this patchset is ignored when the KERNEL_HEADER package is built -- instead, a "series" file is automatically created and used.

Is this normal/expected? Shouldn't the series.<platform> file be used instead?