I find hard time believing that all of 4k auto generated macros are actually used. Could you trim it down to only usable bits?

4K is the size of a header file that defines structs that describe the
driver/firmware interface. It does not contribute a bit to code size.
It's an autogenerated file based on data from the reference manual and
I see no point in trimming it.