Linux 4.19 Kernel Benchmarks On The Raspberry Pi