[SeaBIOS] [PATCH v2 16/19] Add pic_save_mask() and pic_restore_mask() functions