Our current configuration is that long double is 128bit, so reflect
that in the relevant headers.

Taken from sparc64.

New files for Userland support of UCB RISC-V (both 32-bit and 64-bit)