Linux & DTS to allow booting on the X1E80100 Samsung Galaxy Book4 Edge, derived from https://github.com/vamanea/linux-magicbook, as these devices seem to share some ...