Fork of CorsixTH with modifications for building on Android