Improve Tock patches

In #620 , we migrate to Tock V2. Some of our drivers are hacky. One example is the extra buffer in persistent storage that we probably don't need. They work for now and all our testing passes. We have to revisit them eventually though.