Samsung gets serious about Linux with $500K investment