Reverse engineering Starlink's User Terminal firmware