Bug#1008928: linux: Missing build dependency for linux 5.15 arm64

["Riesop, Vincent" <v.riesop@sap.com>]

Source: linux
Severity: minor

Dear Maintainer,

building linux 5.15 for arm64 fails due to a missing build dependency.
Package gcc-arm-linux-gnueabihf is missing.

The build fails during:
    CC32    arch/arm64/kernel/vdso32/vgettimeofday.o

with the following message:
    /bin/sh: 1: arm-linux-gnueabihf-gcc: not found

A workaround is to install gcc-arm-linux-gnueabihf manually.

I assume that the build dependency should be resolved by the
build-dep installation via the respective *.dsc file. 

Thanks a lot,
Vincent