Fixes sometimes cannot boot up with specific type of CPU.