Configure write-back for caching

This is needed in order to make HVC calls (thanks to Julien Grall).