[fedora-arm] Raspberry Pi 3 B+ dmesg errors

Hi guys, I managed to get Fedora 30 AARCH64 installed on a RPI 3B+ and it mostly runs great but I'm hitting a couple issues that I'm just not sure where to start looking. In order to make sure it's not the set of packages I'm installing, I brought up a second RPI 3B+ that runs the official minimal image. I installed all the same packages on the kicked system, that the minimal version has, so I don't have differences. 1. The NIC LED doesn't work after the installation. It works normally during kickstart. Connectivity is not affected. NIC LED works fine with the official image. 2. I get these messages in dmesg on a kicked system that are not poping up on the minimal image system: ... [ 0.000000] CPU features: detected: Kernel page table isolation (KPTI) ... [ 0.011655] arch_timer: WARNING: Invalid trigger for IRQ75, assuming level low [ 0.011658] arch_timer: WARNING: Please fix your firmware ... [ 1.887602] kvm [1]: Invalid trigger for vtimer IRQ76, assuming level low ... 3. Looks like the model that is being detected is different for both systems (where does that come from? Does that have effects somewhere?): Minimal image: [ 0.000000] Machine model: Raspberry Pi 3 Model B+ Kickstart: [ 0.000000] Machine model: Raspberry Pi 3 Model B Plus Rev 1.3 4. The kickstarted system has an additional CPU feature that the minimal image system doesn't have (They should have the same CPU?) [ 0.000000] CPU features: detected: Kernel page table isolation (KPTI) 5. There is a couple more differences like hci initialization and other things. Isn't this part of the kernel support? And the kernel is the same on both systems. Is there documentation around the generation of the RPI image? I replicated the kickstart file that can be found under /root on the minimal image but that alone didn't help above issues. Maybe there is something special about the environment this image is generated in? Thanks