[SeaBIOS] [PATCH 0/3] Extended disk drive (EDD) cleanups