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