[SeaBIOS] [PATCH] Provide correct dpte pointer to indicate absence of dpte