[PATCH] x86/bugs: Do not enable IBPB at firmware entry when IBPB is not available