[SeaBIOS] [PATCH v2 1/6] boot: change definition of IPL_TYPE_* constants