vfp: change to hard float
[PATCH] AIO: Don't plug the I/O queue in do_io_submit()