update `nixpkgs`, vendor kernel, mesa

[Naxdy]

Following the pointers at https://github.com/7Ji/orangepi5-archlinuxarm , this PR updates the kernel to 6.1.75 following Joshua Reik's noble branch with patches from Hüseyin BIYIK's panthor branch, allowing the use of mainline mesa with hardware acceleration.

Tested & works (unchecked = TODO):

• [x] Kernel build
• [x] Boot
• [x] Hardware acceleration in KDE 6.2
• [x] USB C DisplayPort alt mode (incl. audio input & output)
• [x] Waydroid + hardware acceleration using the custom image from https://github.com/WillzenZou/armbian_fork_build/releases/
• [x] Ethernet
• [x] Wi-Fi + BT Module
• [x] NVMe (tested with UEFI boot from NVMe SSD)
• [ ] Suspend & Resume (cannot test myself, due to my hardware setup)
• [x] HDMI

What does NOT work:

• Hardware accelerated video decoding
• Vulkan

Works, but requires workarounds:

• Display reconnect on USB C DisplayPort alt mode requires display server restart

Couple other notes:

• Changed the kernel derivation to no longer require IFD
• Removed the options for mali firmware, since it's now included in pkgs.linux-firmware

---

Draft for now while I continue testing some things. If there's anything else that needs to be tested / has been tested with this branch, let me know and I'll amend the list above.

[Naxdy]

So, everything I could test, I did test. Suspend & resume I cannot test, but if I had to wager a guess I'd say it probably doesn't work, since it's real finnicky in Linux to begin with.

Even managed to get a Waydroid instance with hardware accel and GPS working (using a USB modem), so pretty satisfied overall.

Would be great if others could test this as well tho and report their findings.

FWIW, compiling the kernel on my Orange Pi 5 Plus took around 40 mins, which is around 50% faster than compiling in qemu on my 3950x.

[ryan4yin]

I had updated my Orange Pi 5 (UEFI mode) to this PR, and everything worked fine. I noticed that this PR not only updated the kernel & nixpkgs but also verified that many other hardware components were functioning properly.

Really appreciate your work on the project! Thank you very much!

[Naxdy]

Dropping this here even though it's already merged, turns out DisplayPort alt mode on the USB-C even works when reconnecting, in KDE the only thing is that KWin needs the KWIN_DRM_NO_AMS=1 env var set, then all is gucci.

Some desktop effects like show large window previews don't work yet, but I'm assuming future mesa updates will alleviate that.