mini-os: fix to enable pvh to use sse