someone have tested a e8400 with asus p5k vanilla? wich bios do you have used?