I have been trying for some time to switch from 16bits boot loader to 32 to start a kernel I’m creating for my project, but I can’t find a solution. How can I do? I use gas.