Deploying UEFI-Aware Operating Systems on Dell PowerEdge Servers