Floating-point extension facility pre-req check