Building and making demos in hardfp/opt/vc/src/hello_pi produces errors about attempting to pass args with VFP registers to libilclient.a suggesting it is compiled with the softfloat abi. readelf -A and disassembly appear to confirm this is the case.