[SeaBIOS] [PATCH] rtc_setup, NMI - Seabios boot loop