mini-os: replace native cr4 setups with a general one

Fix to compile it with pvh=n in minios.mk