This small change to lib documentation, which has been updated in accordance with previous review comments:
Latest Raspberry Pi kernel and firmware:
New update
Part 1/2 of fixing Virtualbox in NixOs 24.05 with Linux 6.8+