Use houst0nn's floating point driver

Signed-off-by: Braydon Saporito <altabraydon@gmail.com>