This file marks the pattern ofed-32bit to be installed.
