linux: make sure kernel is build with hard float enabled