Only thing I'd double check is make sure the SATA/HDD mode is set to AHCI rather than legacy (IDE) or RAID.
That and maybe numlock option is set to on at boot... but that's more personal preference
. Otherwise not much you should have to do. Can set the date/time if you want, but it will get set when you configure it in Windows as well.