we should fetch rdo kernel at least