https://www.ninniku.tw/how-to-check-if-raspberry-pi-operating-system-is-32-bit-or-64-bit/