32 bit AMI registration boot problem: explaination and possible solutions