fixup board specific KERNELNAME overrides