evax = 1 alpha=1 bigpage=1 addressbits=32 step1=1 ;step2=1