review.coreboot.org / coreboot / f12e56181788387c560c9b8d0f3d61fce4a4333a / src / mainboard / tyan / s8226 / fadt.c