One of the core elements of this for the Serverless fast boot requirement is using a kernel that has legacy modules excised.