aladd10, as the name suggests, was the BIOS for the Gateway OEM ALi Aladdin motherboard, not the Zappa. The Gateway OEM Zappa is called zappb11. It may just be identical to the standard Advanced/ZP though, with Gateway logos and such added but otherwise no change in features or functionality, in which case I can't imagine why it'd be worth adding. I'll see if I can dig up the documentation and find out whether or not there are any actual differences to emulate.