Honestly I can't find anything regarding the VIA codec your sound uses and OSX so you may end up having to go out and buy a sound card that is compatible. As for your slow boot time I recommend you try patching your DSDT with the HPET patches.