Change in coreboot[master]: cpu/x86/64bit: Generate static page tables from an assembly file

[Raul Rangel (Code Review)]

Attention is currently required from: Patrick Rudolph, Angel Pons, Julius Werner, Arthur Heymans.
Raul Rangel has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/63725 )

Change subject: cpu/x86/64bit: Generate static page tables from an assembly file
......................................................................

Patch Set 5: Code-Review+2

(2 comments)

File src/cpu/x86/64bit/pt.S:

https://review.coreboot.org/c/coreboot/+/63725/comment/f4aaaf8d_ebcc48d2 
PS3, Line 27: .quad _GEN_PAGE(0x200000 * 0)
> > Maybe something like this could work: […]

Nice, I didn't know you could use `.`.

File src/cpu/x86/Makefile.inc:

https://review.coreboot.org/c/coreboot/+/63725/comment/9fef4543_649eda4d 
PS3, Line 7: CONFIG_ARCH_BOOTBLOCK_X86_64
> Done

that is a good question... We have `VBOOT_STARTS_BEFORE_BOOTBLOCK` default to `y`.