[SeaBIOS] [PATCH V4 3/8] Add public get_rsdp function