This apparently breaks AMDGPU offloading for unknown reasons. Reverting for now. This reverts commit aa16de63.