Optimize kernel binary & fix arm process.c