The problem is RPi though, and all the junk it runs before booting Linux.