karo: tx28: add support for TX28-4033 (with 256MiB flash)