Fixes from rebasing Fedora Asahi kernels to 6.4
These fixes are were made so I could correctly set AArch64 kernel builds to 16K pages for Fedora Asahi.
These fixes are were made so I could correctly set AArch64 kernel builds to 16K pages for Fedora Asahi.