make: Futher systematize handling of generated headers

This will make it easier to add and remove generated headers, as we will do when we add a configure script for the RTS.