Adding missed files
File copied from corresponding elf

This should make compile pass, but ABI might differ too much for kernel to
run on all CPU variants.
Merge branch 'stm32' into stm32_dirty
File copied from corresponding elf

Essential types. Should work.
Merge branch 'stm32' into stm32_dirty
make mrproper

Light version 'make properhard'. Iterates trough the build structure like
the other well-behaved make-goals.
(cherry picked from commit cdd019db08ab248df6425cd3517d5cb960a6cf30)

Conflicts:
	Makefile
Corrects temp-workaround re. HIXS ability for ARM

Due to a bug in Newlib-HIXS, a workaround for an older Newlib error that
needs revert, there is a need to include a HIXS stub for ARM (i.e. even if
HIXS is not used).
Same change regarding _isatty for other targets

This has not been verified on these targets. I.e. it's possible that the
same Newlib-error still exists for these platforms. Therefore separate
patch for ability to revert.