[PATCH 0/4] kernel: aarch64: Add support for Traverse Ten64 board