Use the request stack in the kernel