Well there's another work around that I tried myself that works
That topic post # 9 explains a solution using EFI studio to generate a string that you will add to your boot plist.
Try it out and see if it works out for you also
This worked for me too. Nothing else I'd tried did.