Remove hardcoded buildroot from kernel makefile and gdbinit

src/kernel/Makefile

@@ -28,11 +28,11 @@ DEPFLAGS = -MT $@ -MMD -MP -MF $*.d
 
 
 # Copy kernel to sysroot
-/opt/sysroot/kernel: kernel
-	mkdir -p /opt/sysroot
-	cp kernel /opt/sysroot/kernel
+$(BUILDROOT)sysroot/kernel: kernel
+	mkdir -p $(BUILDROOT)sysroot
+	cp kernel $(BUILDROOT)sysroot/kernel
 
-install: /opt/sysroot/kernel
+install: $(BUILDROOT)sysroot/kernel
 
 clean:
 	rm -rf $(OBJ) $(DEP) kernel

toolchain/gdbinit

@@ -1,7 +1,11 @@
 set prompt \033[31m(gdb) \033[0m
 set disassembly-flavor intel
 
-file /opt/sysroot/kernel
+python
+import os
+gdb.execute('file ' + os.environ['BUILDROOT'] + 'sysroot/kernel')
+end
+
 target remote :1234
 
 define q