Isn’t ipq807x a different arch?