arm-linux-gnueabi-toolchain: GCC should not directly depend on kernel-headers