[PATCH 032/171] Correct SPL uses of ARMADA_8K