Re: UEFI Runtime Service Support?