But with it being an EFI BIOS, well, that's all over the web so I won't duplicate that here.
Bob