Re: [PATCH v3 0/7] Port gen_compile_commands.py from Linux to U-Boot