[SeaBIOS] UEFI project ideas