[SeaBIOS] [PATCH] Make sure handle_smi() and handle_smp() are compiled out if not enabled.