[coreboot] System management mode for Intel processors

[Rudolf Marek]

Hi,

Thanks for meaningful query. The 30000h is just a value after reset. The BIOS 
will invoke SMI, the code will get executed from SMIBASE+8000 (so 38000) and SMI 
code will change the save state area and relocate the SMM handler elsewhere to 
TSEG or ASEG (hidden bellow video memory A0000).

Thanks
Rudolf