WIP: more kernel only stubbing