Raspberry Pi 4 Benchmarked with 32-bit and 64-bit Debian OS