Enable floating point support

It was disabled because, historically, the kernel did not support
floating point. It does now, but vexpress-a15 was never updated.

Bug: 125023379
Change-Id: I00ce233cb1e7d3c92aa20791923c80a4eca0ca75
1 file changed
tree: 67ff46a8a702dbe4b3b50835e221062a532b4461
  1. .clang-format
  2. LICENSE
  3. PREUPLOAD.cfg
  4. project/