Ram issue
He now possesses a machine with R5 3600.
According to the support page, it backs the 3600 model. There might be stability problems or BIOS issues with the F51e.
Going back to F40 wouldn't help, I've already attempted to insert the 3600 when it was installed, but the PC still wouldn't boot.