Yeah, every amd64 box I've bought recently has had everything working out-of-the-box; weirdly, my desktop actually has much more trouble booting the Windows installer ISO (they ship it as UDF without a FAT32 ESP, so the for-consumers Asus mobo doesn't think it's bootable?)