Re: [PATCH v6 050/102] x86: Don't include the BIOS emulator in TPL