tree 5436d3e23b21016ae1da2877927f6cd8b57813e6
parent 5617141149167f5618ce0345f4a4c4ecb9cc1e39
author Gabe Black <gabeblack@google.com> 1471381093 -0700
committer Gabe Black <gabeblack@google.com> 1471563354 -0700

UEFI: Enable the HOSTED option in the UEFI config.

Change-Id: I7c1db4ea70fa3a6106dcd687df8d525d4ed4db24