Fix bootflx.

Somehow got screwed up when I synced it with flx.