OpenCore won't load the boot options. I'm stuck