[x86] Minor beautifications in x86_64 generic board

Signed-off-by: Anup Patel <anup@brainfault.org>