[SeaBIOS] SeaBIOS debugging - breakpoint placement problems