review.coreboot.org / coreboot / 38c326d041218e65d156ce3dd3bfee39e73ceffa / src / arch / x86 / lib / thread_switch.S