How exactly is it possible that a regular mainline #Linux #kernel eats a few hundred MB of RAM on a regular #PC but can also work with 16 MB of RAM on a #STM32?