Having managed to netboot this laptop, I made an unfortunate discovery:
its network card isn't supported..
http://user-contributions.org/projects/lshwd/tables/pcitable suggests that
it is a (0x11ab,0x4362) "Marvell Technology Group Ltd.|Marvell Yukon
88E8053 Gigabit Ethernet 10/100/1000Base-T Adapter"

Rapid googling shows an attempt at using sk(4), and no source code drivers
nor documentation from Marvell. Any ideas on where to start?

Cheers,

Patrick