Backported 5.4 kernel for Debian 10
* Rebuild for Debian 10 Buster.
* debian/config/defines: build with gcc-8.
* debian/templates/control.extra.in: adjust for gcc-8.
* debian/config/config: set kernel frequency to 1000 Hz instead of 250.
* debian/rules.real: disable automatic dbgsym packages.
* debian/templates/control.sources.in: add linux-libc-dev to prevent FTBFS on the OBS.
Note that, similar to what's needed on your own machine, the constraints file sets aside at least 60 GB of free space for a successful build from the source on the OBS servers. (Less needed for ARM chips)