Cool Pi 4B SBC with Rockchip RK3588S for high-performance computing