Looks like a raminit problem. In the bios, there is often a module to do that. Your [1] comment raise the possibility that some mixup happened. I would suggest

Looks like a raminit problem. In the bios, there is often a module to do that. Your [1] comment raise the possibility that some mixup happened. I would suggest trying some "re released" version, ideally the same one as you had initially.