Merge changes from topic "kernel" into q10

* changes:
  kernel: allow devices to use newer GCC
  kernel: use dtc from prebuilt