Disabling wifi and hdmi [Raspberry Pi 4]

[galicarnax]

I've been using RPi 4B with archlinuxarm ARMv7 for a couple of
years, but recently the SD Card went dead. I got a new one, and decided to
try AArch64. Frankly, I am not sure which benefits this might give,
except that I've read few times that this might boost
performance a bit and consume less energy. Anyway, I've successfully
installed AArch64, works fine.

Except that I can't disable wifi, hdmi and onboard audio the same way
I did with ARMv7, using dtoverlay=... in /boot/config.txt. I'm
aware that Aarch64 is somehow different in its boot process (U-boot
and such), but after duckduckgoing for almost an hour, I feel I need a
kick in the right direction.

So my basic question: is migrating from ARMv7 to Aarch64 is worth
that, or should I simply go back to ARMv7 with which I'm already
familiar? If it's worth that, I'd appreciate a hint on how to disable
wifi, hdmi and audio which I never use.

[graysky]

There is no reason to use armv7h IMO. You are using the upstream linux kernel, recommend that you switch to the rpi kernel if you want to disable these as you have in the past.

Currently, the official linux-rpi kernel is on the rpi-5.15.y series or you can use my testing kernel which is tracking rpi-6.1.y series which will be the next official kernel at some point in the first part of 2023.

[galicarnax]

So, following your link, I simply installed linux-rpi,raspberrypi-bootloader (there is no raspberrypi-bootloader-x, which is mentioned in your instructions), and raspberrypi-firmware. And now I have disabled unneeded hardware in /boot/config.txt. Thanks.

I wonder now why this option is not mentioned in the official manual for RPi4?

[graysky]

The official instructions give you the vanilla linux kernel. I have always liked the extras like hw accelerated video decoding and other tweaks from the rpi foundation's fork.