Fix pencil headers with Mali OpenCL compiler

Currently there is a bug in Mali's OpenCL compiler, what prevents the
previous version of the PENCIL headers.

Fixing it requires adding a "d" suffix to double parameter functions,
and a "i" prefix to integer parameter functions.

Also add always_inline attribute in GCC compatiblitiy mode.