OT: UEFI settings for DDR5 RAM