How To Write A Device Driver That Doesn’t Break On Partitioned Systems