Kernel optimization with BOLT (binary optimization and layout tool)