Comment 3 for bug 1528047

Working around the problem for now with this:

     cat /proc/cpuinfo | sed 's/flags\t*:/& pae/' > /tmp/cpuinfo_pae
      sudo mount -o bind /tmp/cpuinfo_pae /proc/cpuinfo
      sudo mount -o remount,ro,bind /proc/cpuinfo

But would like a more permanent solution