kernel: COMPAT_DF12 is valid for vkernel (32 bit) too.
kernel/posix scheduling: Style, indentation, etc.