[SeaBIOS] [PATCH 24/31] stacks.h: Provide replacement for thread functions when !CONFIG_THREADS