fix x86 boot filesystem allocation (#1736)