$(build_arch) and $(header_arch) are always the same.
As far as I know, there is no situation where 'make headers_install'
uses a different ARCH=.
Signed-off-by: Masahiro Yamada <masahiro.yamada@canonical.com>
Signed-off-by: Andrea Righi <andrea.righi@canonical.com>