I don't think the bootloader gives a damn, and any device firmware simply needs to have it provided to the kernel at build time. The firmware doesn't care about the kernel, after all.