The capDL initialiser for seL4.