[PATCH 15/20] doc: Move UEFI down a bit