Oracle submits patches to speed up the Linux kernel boot by 6% to 49%