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