Your Raspberry Pi 4 may have just got an unexpected speed boost

A firmware update in the latest version of Debian could bring some hardware happiness to Raspberry Pi fans.