[SeaBIOS] [PATCH 09/31] shadow.c: Compile int3 inline assembly on x86 only