Implement __builtin_volatile_load and __builtin_volatile_store