have either the UT p35 or the DK P35 , will they boot right away with an E3110 or E8400 ? or is a new bios update required first?