Linuxは32bit打ち切りなのか