tree 2a73603d7d058d35563bcbb4e2b1059b9fa630f0
parent f3eaec424950f060c484e3598738df7b3dd5b287
author Kent McLeod <kent@kry10.com> 1631660964 +1000
committer Kent McLeod <kent-mcleod@users.noreply.github.com> 1632989354 +1000

libplatsupport: Remove imx31/kzm platform

This is an ancient platform and has been unsupported for over a year.
This is motivated by wanting to remove ARMv6 support from seL4.

Signed-off-by: Kent McLeod <kent@kry10.com>