T258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND when encountering null cnode...