No one? If no one who knows anything about this responds, I'd ask again on the forum if I were you, https://bbs.archlinux.org/ .
Since no one with full knowledge of this topic has responded with a recommendation so far here's my opinion. I actually didn’t want to say anything about it, as I don't have knowledge in this area. Based on my limited understanding, I've decided that I don't want the kernels to be on a FAT partition, even though my multi-boot computer doesn't run Windows (on bare metal). Even for sharing with iPadOS, I prefer to use hfs+, which isn't well supported by Linux. I have one FAT32 (ESP) partition just for EFI, and a another FAT32 partition for flashing the mobo's firmware. But really, it’s just a matter of principle. I might be overlooking something here.
