This uses cluster speficic PLIC, CLINT and ACLINT devices in NuttX. Signed-off-by: Yanfeng Liu <yfliu2008@qq.com>