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