hardware: Use Arduino provided core and tools