looks good to me. Of course linux64 will fail on a 32-bit kernel and $(KERNEL_ARCH) will be empty, but empty doesn't match "x86_64", so it still gives the desired result.
looks good to me. Of course linux64 will fail on a 32-bit kernel and $(KERNEL_ARCH) will be empty, but empty doesn't match "x86_64", so it still gives the desired result.